A Primer on Rational Consequence Relations, Popper Functions, and Their Ranked Structures

نویسنده

  • James Hawthorne
چکیده

Rational consequence relations and Popper functions provide logics for reasoning under uncertainty, the former purely qualitative, the latter probabilistic. But few researchers seem to be aware of the close connection between these two logics. I’ll show that Popper functions are probabilistic versions of rational consequence relations. I’ll not assume that the reader is familiar with either logic. I present them, and explicate the relationship between them, from the ground up. I’ll also present alternative axiomatizations for each logic, showing them to depend on weaker axioms than usually recognized.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Concept Model Semantics for DL Preferential Reasoning

The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provide the foundation for the determination of the important notion of rational closure. Although they can be applied directly to a large variety of logics, these constructions suffer from the limitation that they are largely proposi...

متن کامل

What Does a Conditional Knowledge Base Entail?

This paper presents a logical approach to nonmonotonic reasoning based on the notion of a nonmonotonic consequence relation A condi tional knowledge base consisting of a set of conditional assertions of the type if then represents the explicit defeasible knowledge an agent has about the way the world generally behaves We look for a plausible de nition of the set of all conditional assertions en...

متن کامل

A Logic of Comparative Support: Qualitative Conditional Probability Relations Representable by Popper Functions

This article presents axioms for comparative conditional probability relations. The axioms presented here are more general than usual. Each comparative relation is a weak partial order on pairs of sentences (i.e. each relation is transitive and reflexive) but need not be a complete order relation. The axioms for these comparative relations are probabilistically sound for the broad class of cond...

متن کامل

PTL: A Propositional Typicality Logic

We introduce Propositional Typicality Logic (PTL), a logic for reasoning about typicality. We do so by enriching classical propositional logic with a typicality operator of which the intuition is to capture the most typical (or normal) situations in which a formula holds. The semantics is in terms of ranked models as studied in KLM-style preferential reasoning. This allows us to show that ratio...

متن کامل

Computer simulated screening of dentin bonding primer monomers through analysis of their chemical functions and their spatial 3D alignment.

Binding interactions between dentin bonding primer monomers and dentinal collagen were studied by an analysis of their chemical functions and their spatial 3D alignment. A trial set of 12 monomers used as primers in dentin adhesives was characterized to assess them for binding to a complementary target. HipHop utility in the Catalyst software from Accelrys was used for the study. Ten hypotheses...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Studia Logica

دوره 102  شماره 

صفحات  -

تاریخ انتشار 2014